let f (x) = 
  match x with
  | (y, z) -> y
  end
